Философский энциклопедический словарь - доказательство от противного
Связанные словари
Доказательство от противного
доказательство от противного
(лат. reductio ad absurdum) вид доказательства, при котором справедливость некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса достигается путем установления его несовместимости с заведомо истинным суждением. Часто доказательство от противного опирается на двузначности принцип.
Рейтинг статьи:
См. в других словарях
1.
(лат. reductio ad absurdum), вид доказательства, при к-ром «доказывание» нек-рого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса при этом достигается установлением факта его несовместимости с к.-л. заведомо истинным суждением. Этой форме Д. от п. соответствует след. схема доказательства: если В истинно и из А следует ложность В, то А ложно. Другая, более общая форма Д. от п. это доказательство путём опровержения (обоснования ложности) антитезиса по правилу: допустив А, вывели противоречие, следовательно неА. Здесь А может быть как утвердительным, так и отрицательным суждением. В последнем случае Д. от п. опирается на двузначности принцип и закон двойного отрицания. Помимо указанных выше, существует «парадоксальная» форма Д. от п., применявшаяся уже в «Началах» Евклида: суждение А можно считать доказанным, если удастся показать, что А следует даже из допущения ложности А. ...Советский философский словарь
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1810 | |
2 | 1618 | |
3 | 1471 | |
4 | 1400 | |
5 | 1333 | |
6 | 1308 | |
7 | 1218 | |
8 | 1168 | |
9 | 1143 | |
10 | 1092 | |
11 | 1000 | |
12 | 986 | |
13 | 981 | |
14 | 949 | |
15 | 940 | |
16 | 921 | |
17 | 891 | |
18 | 830 | |
19 | 816 | |
20 | 797 |